dirichlets approximation theorem